401. Simulation of materials processing : theory, methods and applications : proceedings of the fifth International Conference on Numerical Methods in Industrial Forming Processes
پدیدآورنده : edited by Shan-Fu Shen & Paul R. Dawson
کتابخانه: (طهران)
موضوع : Metal-work Mathematical models -- Congresses, Polymers Mathematical models -- Congresse, Numerical calculations Congresse
رده :
TJ
1189
.
N9715
1995
402. Simulation of materials processing: theory, methods and applications: proceedings of the 7th International Conference on Numerical Methods in Industrial Forming Processes - Numiform 2001/ Toyohashi/ Japan/ 18-20 June 2001
پدیدآورنده : edited by Ken-ichiro Mori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical models -- Congresses ، Metal-work,Mathematical models -- Congresses ، Polymers,Congresses ، Numerical calculations
رده :
TS
200
.
N85
2001
403. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '98, Enschede/Netherlands/22-25 June 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Metal-work-- Mathematical models,Congresses ، Polymers-- Mathematical models,Congresses ، Numerical calculations
رده :
TS
205
.
I57
1998
404. Spline functions :
پدیدآورنده : Larry L. Schumaker, Vanderbilt University, Nashville, Tennessee.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Numerical calculations.,Spline theory.,Numerical calculations.,Spline theory.
رده :
QA224
.
S34
2015
405. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : / Gotz Alfeld...[et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer arithmetic,Floating - Point Arithmetic,Numerical Calculations - Verification
رده :
QA76
.
9
.
M35S92
2001
406. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
407. Symbolic and numerical scientific computation
پدیدآورنده : / Franz Winkler, Ulrich Langer (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
رده :
QA
,
370
,.
S67
,
2001
408. Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
پدیدآورنده : Franz Winkler, Ulrich Langer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Differential equations -- Numerical solutions,Congresses ، Numerical calculations,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2630
409. The approximation of fuctions
پدیدآورنده : / by John R. Rice
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Approximate computation,Functions,Numerical calculations
رده :
517
.
5
Ri-A
410. The calculation of atomic structures:based on lectures given
پدیدآورنده : HARTREE,DOUGLAS R
کتابخانه: (طهران)
موضوع : WAVE MECHANICS , NUMERICAL CALCULATIONS
رده :
QC
174
.
5
.
H35
411. The logic of computer arithmetic
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronics digital computers,Numerical calculations,Brinary systmes
رده :
510
.
78
Fl-L
412. The logic of computers arithmaetic
پدیدآورنده : FLORES,IVAN
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS , NUMERICAL CALCULATIONS , BINARY SYSTEM )MATHEMATICS(
رده :
QA
76
.
5
.
F46
413. Theory of algorithms (Teorija algorifmov) Translated from Russian
پدیدآورنده : / [by: Jacques J. Schorrkon and PST staff],Markov
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Numerical calculations
رده :
QA
297
.
M34
414. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
415. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
416. Theory of transonic astrophysical flows
پدیدآورنده : Chakrabarti, Sandip K.
کتابخانه: (طهران)
موضوع : Astrophysics , Relativistic fluid dynamics , Aerodynamics, Transonic , Numerical calculations
رده :
QB
461
.
C44
417. Theory of transonic astrophysical flows
پدیدآورنده : Chakrabarti, Sandip K.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Astrophysics,، Relativistic fluid dynamics,، Aerodynamics, Transonic,، Numerical calculations
رده :
QB
461
.
C44
1990
418. Theory of transonic astrophysical flows
پدیدآورنده : Chakrabarti, Sandip K.
کتابخانه: (طهران)
موضوع : ، Astrophysics,، Relativistic fluid dynamics,، Aerodynamics, Transonic,، Numerical calculations
رده :
QB
461
.
C44
1990
419. Topics in validated computations
پدیدآورنده : / edited by Jeurgen Herzberger
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
رده :
QA297
.
75
.
I43
1993
420. Topics in validated computations
پدیدآورنده : / edited by Jurgen Herzberger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA297
.
75
.
I43
1993
